Zilio, Silvano Dal: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - A logic you can count on

Dal Zilio, Silvano, Lugiez, Denis, Meyssonnier, Charles

Year:

2004

Language:

english

File:

PDF, 168 KB

english, 2004

2

Resource control for synchronous cooperative threads

Roberto M. Amadio, Silvano Dal Zilio

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 365 KB

english, 2006

3

Counting Petri net markings from reduction equations

Berthomieu, Bernard, Le Botlan, Didier, Dal Zilio, Silvano

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 1.69 MB

english, 2019

4

[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - A General Lock-Free Algorithm for Parallel State Space Construction

Saad, Rodrigo T., Zilio, Silvano Dal, Berthomieu, Bernard

Year:

2010

Language:

english

File:

PDF, 824 KB

english, 2010

5

A logic you can count on

Dal Zilio, Silvano, Lugiez, Denis, Meyssonnier, Charles

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 168 KB

english, 2004

6

XML schema, tree logic and sheaves automata

Silvano Dal Zilio, Denis Lugiez

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2006

Language:

english

File:

PDF, 490 KB

english, 2006

7

Model checking mobile ambients

Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 789 KB

english, 2003

8

[IEEE 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing - Pittsburgh, United States (2012.10.14-2012.10.17)] Proceedings of the 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing - Towards Timed Requirement Verification for Service Choreographies

Guermouche, Nawal, Dal Zilio, Silvano

Year:

2012

Language:

english

File:

PDF, 1004 KB

english, 2012

9

Region analysis and a π-calculus with groups

DAL ZILIO, SILVANO, GORDON, ANDREW D.

Journal:

Journal of Functional Programming

Year:

2002

Language:

english

File:

PDF, 621 KB

english, 2002

10

A formal framework to specify and verify real-time properties on critical systems

Abid, Nouha, Zilio, Silvano Dal, Botlan, Didier Le

Journal:

International Journal of Critical Computer-Based Systems

Year:

2014

Language:

english

File:

PDF, 583 KB

english, 2014

11

[ACM Press the 6th Conference - Gothenburg, Sweden (2018.06.02-2018.06.02)] Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18 - Formal verification of complex robotic systems on resource-constrained platforms

Foughali, Mohammed, Berthomieu, Bernard, Zilio, Silvano Dal, Hladik, Pierre-Emmanuel, Ingrand, Félix, Mallet, Anthony

Year:

2018

Language:

english

File:

PDF, 656 KB

english, 2018

12

Counting Petri net markings from reduction equations

Berthomieu, Bernard, Le Botlan, Didier, Dal Zilio, Silvano

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

File:

PDF, 1.69 MB

2019

13

[IEEE 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Sophia Antipolis (2017.9.13-2017.9.15)] 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Formal verification of user-level real-time property patterns

Ge, Ning, Pantel, Marc, Zilio, Silvano Dal

Year:

2017

Language:

english

File:

PDF, 386 KB

english, 2017

14

[IEEE 2011 10th International Symposium on Parallel and Distributed Computing (ISPDC) - Cluj-Napoca, Romania (2011.07.6-2011.07.8)] 2011 10th International Symposium on Parallel and Distributed Computing - Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction

Saad, Rodrigo T., Zilio, Silvano Dal, Berthomieu, Bernard

Year:

2011

Language:

english

File:

PDF, 243 KB

english, 2011

15

Symmetry reduction for time Petri net state classes

Bourdil, Pierre-Alain, Berthomieu, Bernard, Dal Zilio, Silvano, Vernadat, François

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.09 MB

english, 2016

16

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - Symmetry reduced state classes for time petri nets

Bourdil, Pierre-Alain, Berthomieu, Bernard, Zilio, Silvano Dal, Vernadat, François

Year:

2015

Language:

english

File:

PDF, 621 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски